1. Foundations of secure computation
پدیدآورنده : edited by Friedrich L. Bauer, Ralf Steinbruggen
کتابخانه: Central Library and Information Center of Ferdowsi University of Mashhad (Khorasan Razavi)
موضوع : Congresses ، Computer security
رده :
QA
76
.
9
.
A25
F69
2000
2. Foundations of secure computation
پدیدآورنده : edited by Friedrich L. Bauer, Ralf Steinbruggen
کتابخانه: Library of College of Science University of Tehran (Tehran)
موضوع : Congresses ، Computer security
رده :
QA
76
.
9
.
A25
F65
1999
3. Logic, algebra, and computation : international summer school directed by F.L. Bauer ... )et al.(
پدیدآورنده : edited by Friedrich L. Bauer
موضوع : Logic programming - Congresses,Algebra - Congresses,Computational complexity - Congresses
۲ نسخه از این کتاب در ۲ کتابخانه موجود است.
4. Logic, algebra, and computation : international summer school directed by F.L. Bauer ... )et al.(
پدیدآورنده : edited by Friedrich L. Bauer
کتابخانه: Central Library and Documentation Center (Kerman)
موضوع : Congresses ، Logic programming,Congresses ، Algebra,Congresses ، Computational complexity
رده :
QA
76
.
63
.
L618
1991
5. Logic and algebra of specification
پدیدآورنده : edited by Friedrich L. Bauer, Wilfried Brauer, Helmut Schwichtenberg
کتابخانه: Library of Institute for Research in Fundamental Sciences (Tehran)
موضوع : ، Computer science -- Mathematics,، Logic, Symbolic and mathematical
رده :
QA
76
.
9
.
M35N37
1991